From 0814867e269e797e1c69f3fc7635a6749d3873ba Mon Sep 17 00:00:00 2001 From: "kaf24@firebug.cl.cam.ac.uk" Date: Fri, 3 Mar 2006 11:17:09 +0100 Subject: [PATCH] Minor enhancements to gdbbuild, the build script for gdbserver-xen. 1. Use $MAKE if set 2. Make mirror configurable from environment From: Horms Signed-off-by: Keir Fraser --- tools/debugger/gdb/gdbbuild | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/tools/debugger/gdb/gdbbuild b/tools/debugger/gdb/gdbbuild index 9b106971ea..fbd225a0c0 100755 --- a/tools/debugger/gdb/gdbbuild +++ b/tools/debugger/gdb/gdbbuild @@ -1,7 +1,9 @@ #!/bin/sh +[ "$GDB_MIRROR" ] || GDB_MIRROR="ftp://ftp.gnu.org/gnu/gdb/" + rm -rf gdb-6.2.1 gdb-6.2.1-linux-i386-xen -[ -a gdb-6.2.1.tar.bz2 ] || wget -c ftp://ftp.gnu.org/gnu/gdb/gdb-6.2.1.tar.bz2 +[ -a gdb-6.2.1.tar.bz2 ] || wget -c "$GDB_MIRROR/gdb-6.2.1.tar.bz2" tar xjf gdb-6.2.1.tar.bz2 cd gdb-6.2.1-xen-sparse @@ -12,8 +14,10 @@ mkdir gdb-6.2.1-linux-i386-xen cd gdb-6.2.1-linux-i386-xen ../gdb-6.2.1/configure -# some people don't have gmake -if which gmake ; then +# Use $MAKE if set, else use gmake if present, otherwise use make +if [ "$MAKE" ]; then + $MAKE +elif which gmake ; then gmake -j4 else make -j4 -- 2.30.2